An Overview of Mobile Object-Z
نویسندگان
چکیده
Mobile Object-Z (MobiOZ) is an extended notation of Object-Z with mobile and communication primitives required for mobile agent applications. In this paper, we will give an overview of the MobiOZ language features and present its semantic foundation. We also demonstrate expressiveness of the notation through a number of examples.
منابع مشابه
An Overview of Group Key Management Issues in IEEE 802.16e Networks
The computer industry has defined the IEEE 802.16 family of standards that will enable mobile devices to access a broadband network as an alternative to digital subscriber line technology. As the mobile devices join and leave a network, security measures must be taken to ensure the safety of the network against unauthorized usage by encryption and group key management. IEEE 802.16e uses Multica...
متن کاملVisual Tracking using Learning Histogram of Oriented Gradients by SVM on Mobile Robot
The intelligence of a mobile robot is highly dependent on its vision. The main objective of an intelligent mobile robot is in its ability to the online image processing, object detection, and especially visual tracking which is a complex task in stochastic environments. Tracking algorithms suffer from sequence challenges such as illumination variation, occlusion, and background clutter, so an a...
متن کاملDisease Self-management Using Mobile Health Applications: An Overview of Several Diseases, Functions and Effects in Military Forces
Background and Aim: Telematics, or new electronic health media, is a growing topic that is becoming a major improvement in patients' lives, especially for the elderly, disabled, and chronically ill. In this context, mobile health provides healthcare services and overcomes geographical, time, and even organizational barriers. In this review, we examine the services and applications of mobile hea...
متن کاملAn Intelligent Vision System on a Mobile Manipulator
This article will introduce a robust vision system which was implemented on a mobile manipulator. This robot has to find objects and deliver them to pre specified locations. In the first stage, a method which is named color adjacency method was employed. However, this method needs a large amount of memory and the process is very slow on computers with small memories. Therefore since the previou...
متن کاملEffective Mechatronic Models and Methods for Implementation an Autonomous Soccer Robot
Omni directional mobile robots have been popularly employed in several applications especially in soccer player robots considered in Robocup competitions. However, Omni directional navigation system, Omni-vision system and solenoid kicking mechanism in such mobile robots have not ever been combined. This situation brings the idea of a robot with no head direction into existence, a comprehensi...
متن کامل